Associating composition of Petri net specifications with application designs in GRADE
نویسندگان
چکیده
To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing based parallel programs. The paper describes the extension of GRADE with formal method support based on Petri nets composition. . We outline specification composition, directly associated with application composition as well as the integration of specification and implementation of program development.
منابع مشابه
Methods and Techniques for the Development of Parallel and Distributed Applications
In this PhD thesis we present a methodology for the objective error detection for message passing applications composed by the Ensemble composition architecture. The methodology may be considered as a Parallel and Distributed Software Engineering process. It involves software development management, and links design, implementation and testing in an integrated development process. We propose th...
متن کاملProcess Refinement and Asynchronous Composition with Modalities
We propose a framework for the specification of infinite state systems based on Petri nets with distinguishedmayandmust-transitions (called modalities) which specify the allowed and the required behavior of refinements and hence of implementations. Formally, refinements are defined by relating the modal language specifications generated by two modal Petri nets according to the refinement relati...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملSpecification composition for the verification of message passing program composition
We present a specification composition technique which supports the message passing composition of applications by the Ensemble methodology. In Ensemble applications are built by composing reusable executable program components designed with scalable communication interfaces. We define reusable specifications of program components, using coloured Petri nets, which are then composed to obtain th...
متن کاملertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation
Kurdthongmee, W. ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation Songklanakarin J. Sci. Technol., 2003, 25(3) : 381-394 A real-time system is a computer system that monitors or controls an external environment. The system must meet various timing and other constraints that are imposed on it by the real-time behaviour ...
متن کامل